g:IMonoid, i, j:
. (i = j) 
(E:({i..j
}
|g|). (
i 
k < j. E(k)) = e 
|g|) | 13,42 |
g:IMonoid, i, j:. (i = j) (E:({i..j}|g|). ( i k < j. E(k)) = e |g|)
| Up | |
| Definitions of Statement | lb i < ub. E(i) |
| Definitions | lb i < ub. E(i) |
| Lemmas |